1. A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
پدیدآورنده : von Uwe Glässer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.
رده :
QA76
.
9
.
D5
V668
1993
2. A beginner's guide to Programming logic and design
پدیدآورنده : Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
3. A guide to programming logic and design: introductory
پدیدآورنده : Farrell, Joyce
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
4. A tutorial introduction to VHDL programming /
پدیدآورنده : Orhan Gazi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : VHDL (Computer hardware description language),VHDL (Computer hardware description language)
رده :
TK7885
.
7
5. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
6. AI game programming wisdom /
پدیدآورنده : edited by Steve Rabin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer games-- Design.,Computer games-- Programming.,Computer graphics.,Artificial intelligence.,Computer games-- Design.,Computer games-- Design.,Computer games-- Programming.,Computer games-- Programming.,Computer graphics.,Computer graphics.,Computeranimation,Computergraphics.,Computerspelen.,Computerspiel,Infographie.,Intelligence artificielle.,Künstliche Intelligenz,Kunstmatige intelligentie.,Ludiciels-- Programmation.,Programmeren (computers),Programmierung,Vormgeving.
رده :
QA76
.
76
.
C672
R33
2002
7. Advanced Computer Architectures.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Datorarkitektur.,High performance computing.,Parallel computers.,Parallelverarbeitung.,Computer architecture.,COMPUTERS-- Systems Architecture-- General.,High performance computing.,Parallel computers.
رده :
QA76
.
9
.
A73S45478
8. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
9. Advances in Computer Systems Architecture (vol. # 3740) :
پدیدآورنده : edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Data transmission systems.
10. Advances in Database Technology - EDBT '94 :
پدیدآورنده : edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
11. Advances in Petri Nets 1988
پدیدآورنده : Grzegorz Rozenberg (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory.,Petri nets.,Petri-netwerken.
رده :
QA267
.
G794
1988
12. Advances in computational intelligence :
پدیدآورنده : Hans-Paul Schwefel, Ingo Wegener, Klaus Weinert (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence.
13. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
4
14. Advances in information systems science. Volume 3
پدیدآورنده : edited by Julius T. Tou.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information science.,Information technology.
15. Advances in swarm intelligence. Part 1 :
پدیدآورنده : Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Swarm intelligence -- Congresses.,Swarm intelligence.
16. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
17. Algebraic and Logic Programming :
پدیدآورنده : edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
18. Algebraic foundations in computer science :
پدیدآورنده : edited by Werner Kuich, George Rahonis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
19. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
20. An object-oriented approach to programming logic and design
پدیدآورنده : Farrell, Joyce
کتابخانه: (سمنان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2